Existential Alternative for Europe?

Trichinella britovi as a risk factor for alternative pig production systems in Greece and Europe

Trichinellosis is an important zoonosis and the most common source of human infection is meat from pigs and wild boars. The European Union (EU) supports alternative pig production systems (organic and free-ranging) as sustainable farming systems. However, these systems that allow outdoor access for farm animals, may create new or reintroduce old risks to public health. During the last years, al...

Existential Graphs for Terminological Logics

Existential Quantification for Variant Ownership

Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, memory management, concurrency, etc. Subtyping is traditionally invariant w.r.t. contexts, which has often proven inflexible in some situations. Recent work has introduced restricted forms of subtype variance and unknow...

Existential Assertions for Voting Protocols

In [22], we extend the Dolev-Yao model with assertions. We build on that work and add existential abstraction to the language, which allows us to translate common constructs used in voting protocols into proof properties. We also give an equivalencebased definition of anonymity in this model, and prove anonymity for the FOO voting protocol.

Existential Owners for Ownership Types

This paper describes a lightweight approach to adding run-time checked downcasts to a language in the presence of ownership types without the need for a run-time representation of owners. Previous systems [6] have required owners of objects to be tracked and matched at run-time which is costly in terms of memory and performance. Our proposal avoids run-time overhead to deal with owners and also...